|
GL(3, 2)
In mathematics, the projective special linear group , isomorphic to , is a finite simple group that has important applications in algebra, geometry, and number theory. It is the automorphism group of the Klein quartic as well as the symmetry group of the Fano plane. With 168 elements, PSL(2, 7) is the smallest nonabelian simple group after the alternating group A5 with 60 elements, isomorphic to . Definition The general linear group consists of all invertible 2×2 matrices over F7, the finite field with 7 elements. These have nonzero determinant. The subgroup consists of all such matrices with unit determinant. Then is defined to be the quotient group : SL(2, 7) / obtained by identifying ''I'' and −''I'', where ''I'' is the identity matrix. In this article, we let ''G'' denote any group that is isomorphic to . Properties ''G'' = has 168 elements. This can be seen by counting the possible columns; there are possibilities for the first column, then possibilities for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Determinant
In mathematics, the determinant is a Scalar (mathematics), scalar-valued function (mathematics), function of the entries of a square matrix. The determinant of a matrix is commonly denoted , , or . Its value characterizes some properties of the matrix and the linear map represented, on a given basis (linear algebra), basis, by the matrix. In particular, the determinant is nonzero if and only if the matrix is invertible matrix, invertible and the corresponding linear map is an linear isomorphism, isomorphism. However, if the determinant is zero, the matrix is referred to as singular, meaning it does not have an inverse. The determinant is completely determined by the two following properties: the determinant of a product of matrices is the product of their determinants, and the determinant of a triangular matrix is the product of its diagonal entries. The determinant of a matrix is :\begin a & b\\c & d \end=ad-bc, and the determinant of a matrix is : \begin a & b & c \\ d & e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Line
In projective geometry and mathematics more generally, a projective line is, roughly speaking, the extension of a usual line by a point called a '' point at infinity''. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; for example, two distinct projective lines in a projective plane meet in exactly one point (there is no "parallel" case). There are many equivalent ways to formally define a projective line; one of the most common is to define a projective line over a field ''K'', commonly denoted P1(''K''), as the set of one-dimensional subspaces of a two-dimensional ''K''-vector space. This definition is a special instance of the general definition of a projective space. The projective line over the reals is a manifold; see '' Real projective line'' for details. Homogeneous coordinates An arbitrary point in the projective line P1(''K'') may be represented by an equivalence class of '' homogeneous coordi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Möbius Transformation
In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form f(z) = \frac of one complex number, complex variable ; here the coefficients , , , are complex numbers satisfying . Geometrically, a Möbius transformation can be obtained by first applying the inverse stereographic projection from the plane to the unit sphere, moving and rotating the sphere to a new location and orientation in space, and then applying a stereographic projection to map from the sphere back to the plane. These transformations preserve angles, map every straight line to a line or circle, and map every circle to a line or circle. The Möbius transformations are the projective transformations of the complex projective line. They form a group (mathematics), group called the Möbius group, which is the projective linear group . Together with its subgroups, it has numerous applications in mathematics and physics. Möbius geometry, Möbius geometries and t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normal P-complement
In group theory, a branch of mathematics, a normal ''p''-complement of a finite group, finite group (mathematics), group for a prime number, prime ''p'' is a normal subgroup of order (group theory), order coprime to ''p'' and index of a subgroup, index a power of ''p''. In other words the group is a semidirect product of the normal ''p''-complement and any Sylow subgroup, Sylow ''p''-subgroup. A group is called ''p''-nilpotent if it has a normal . Cayley normal 2-complement theorem Arthur Cayley, Cayley showed that if the Sylow 2-subgroup of a group ''G'' is cyclic group, cyclic then the group has a normal , which shows that the Sylow of a simple group of parity (mathematics), even order cannot be cyclic. Burnside normal ''p''-complement theorem showed that if a Sylow ''p''-subgroup of a group ''G'' is in the center (group theory), center of its normalizer then ''G'' has a normal . This implies that if ''p'' is the smallest prime dividing the order of a group ''G'' and the Sylo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Centralizer And Normalizer
In mathematics, especially group theory, the centralizer (also called commutant) of a subset ''S'' in a group ''G'' is the set \operatorname_G(S) of elements of ''G'' that commute with every element of ''S'', or equivalently, the set of elements g\in G such that conjugation by g leaves each element of ''S'' fixed. The normalizer of ''S'' in ''G'' is the set of elements \mathrm_G(S) of ''G'' that satisfy the weaker condition of leaving the set S \subseteq G fixed under conjugation. The centralizer and normalizer of ''S'' are subgroups of ''G''. Many techniques in group theory are based on studying the centralizers and normalizers of suitable subsets ''S''. Suitably formulated, the definitions also apply to semigroups. In ring theory, the centralizer of a subset of a ring is defined with respect to the multiplication of the ring (a semigroup operation). The centralizer of a subset of a ring ''R'' is a subring of ''R''. This article also deals with centralizers and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dihedral Group Of Order 8
In mathematics, D4 (sometimes alternatively denoted by D8) is the dihedral group of degree 4 and order 8. It is the symmetry group of a square. Symmetries of a square As an example, consider a square of a certain thickness with the letter "F" written on it to make the different positions distinguishable. In order to describe its symmetry, one can form the set of all those rigid movements of the square that do not make a visible difference (except the "F"). For instance, if an object turned 90° clockwise still looks the same, the movement is one element of the set, for instance, . One could also flip it around a vertical axis so that its bottom surface becomes its top surface, while the left edge becomes the right edge. Again, after performing this movement, the square looks the same, so this is also an element of our set, which is called it . The movement that does nothing is denoted by . Generating the group With composition as the operation, the set of all those movement ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cyclic Group
In abstract algebra, a cyclic group or monogenous group is a Group (mathematics), group, denoted C_n (also frequently \Z_n or Z_n, not to be confused with the commutative ring of P-adic number, -adic numbers), that is Generating set of a group, generated by a single element. That is, it is a set (mathematics), set of Inverse element, invertible elements with a single associative binary operation, and it contains an element g such that every other element of the group may be obtained by repeatedly applying the group operation to g or its inverse. Each element can be written as an integer Exponentiation, power of g in multiplicative notation, or as an integer multiple of g in additive notation. This element g is called a ''Generating set of a group, generator'' of the group. Every infinite cyclic group is isomorphic to the additive group \Z, the integers. Every finite cyclic group of Order (group theory), order n is isomorphic to the additive group of Quotient group, Z/''n''Z, the in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sylow Theorems
In mathematics, specifically in the field of finite group theory, the Sylow theorems are a collection of theorems named after the Norwegian mathematician Peter Ludwig Sylow that give detailed information about the number of subgroups of fixed order that a given finite group contains. The Sylow theorems form a fundamental part of finite group theory and have very important applications in the classification of finite simple groups. For a prime number p, a ''p''-group is a group whose cardinality is a power of p; or equivalently, the order of each group element is some power of p. A Sylow ''p''-subgroup (sometimes ''p''-Sylow subgroup) of a finite group G is a maximal p-subgroup of G, i.e., a subgroup of G that is a ''p''-group and is not a proper subgroup of any other p-subgroup of G. The set of all Sylow p-subgroups for a given prime p is sometimes written \text_p(G). The Sylow theorems assert a partial converse to Lagrange's theorem. Lagrange's theorem states that for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Irreducible Representation
In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation (\rho, V) or irrep of an algebraic structure A is a nonzero representation that has no proper nontrivial subrepresentation (\rho, _W,W), with W \subset V closed under the action of \. Every finite-dimensional unitary representation on a Hilbert space V is the direct sum of irreducible representations. Irreducible representations are always indecomposable (i.e. cannot be decomposed further into a direct sum of representations), but the converse may not hold, e.g. the two-dimensional representation of the real numbers acting by upper triangular unipotent matrices is indecomposable but reducible. History Group representation theory was generalized by Richard Brauer from the 1940s to give modular representation theory, in which the matrix operators act on a vector space over a field K of arbitrary characteristic, rather than a vector space over the field of real number ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjugacy Class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other words, each conjugacy class is closed under b = gag^ for all elements g in the group. Members of the same conjugacy class cannot be distinguished by using only the group structure, and therefore share many properties. The study of conjugacy classes of non-abelian groups is fundamental for the study of their structure. For an abelian group, each conjugacy class is a set containing one element ( singleton set). Functions that are constant for members of the same conjugacy class are called class functions. Definition Let G be a group. Two elements a, b \in G are conjugate if there exists an element g \in G such that gag^ = b, in which case b is called of a and a is called a conjugate of b. In the case of the general linear group \op ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \mathrm_n defined over a finite set of n symbols consists of the permutations that can be performed on the n symbols. Since there are n! (n factorial) such permutation operations, the order (number of elements) of the symmetric group \mathrm_n is n!. Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
